Uncertainty Propagation in Heterogeneous Algebras for Approximate Quantified Constraint Solving

نویسنده

  • Stefan Ratschan
چکیده

When trying to solve quanti ed constraints (i.e., rst-order formulas over the real numbers) exactly, one faces the following problems: First, constants coming from measurements are often only approximately given. Second, solving such constraints is in general undecidable and for special cases highly complex. Third, exact solutions are often extremely complicated symbolic expressions. In this paper we study how to do approximate computation instead | working on approximate inputs and producing approximate output. For this we show how quanti ed constraints can be viewed as expressions in heterogeneous algebra and study how to do uncertainty propagation there. Since set theory is a very fundamental approach for representing uncertainty, also here we represent uncertainty by sets. Our considerations result in a general framework for approximate computation that can be applied in various di erent domains.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Solving a Bi-Objective Multi-Product Vehicle Routing Problem with Heterogeneous Fleets under an Uncertainty Condition

This paper presents a novel bi-objective multi-product capacitated vehicle routing problem with uncertainty in demand of retailers and volume of products (UCVRP) and heterogeneous vehicle fleets. The first of two conflict fuzzy objective functions is to minimize the cost of the used vehicles, fuel consumption for full loaded vehicles and shortage of products. The second ...

متن کامل

Sensitivity Analysis in Quantified Interval Constraint Satisfaction Problems

Interval is an alternative to probability distribution in quantifying epistemic uncertainty for reliability analysis when there is a lack of data to fit a distribution with good confidence. It only requires the information of lower and upper bounds. The propagation of uncertainty is analyzed by solving intervalvalued constraint satisfaction problems (CSPs). By introducing logic quantifiers, qua...

متن کامل

Uncertainty Propagation in Elasto-Plastic Material

Macroscopically heterogeneous materials, characterised mostly by comparable heterogeneity lengthscale and structural sizes, can no longer be modelled by deterministic approach instead. It is convenient to introduce stochastic approach with uncertain material parameters quantified as random fields and/or random variables. The present contribution is devoted to propagation of these uncertainties ...

متن کامل

Commodity price uncertainty propagation in open-pit mine production planning by Latin hypercube sampling method

Production planning of an open-pit mine is a procedure during which the rock blocks are assigned to different production periods in a way that leads to the highest net present value (NPV) subject to some operational and technical constraints. This process becomes much more complicated by incorporation of the uncertainty existing in the input parameters. The commodity price uncertainty is among ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • J. UCS

دوره 6  شماره 

صفحات  -

تاریخ انتشار 2000